Code Stabilization
نویسندگان
چکیده
Dijkstra’s concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of self-stabilization if faults can also affect (i.e., augment) the program code of a system. A code stabilizing system automatically recovers from (almost) arbitrary perturbations of its program code. We prove some lower bounds for code stabilizing systems and argue that code stabilization has many resemblances to the area of integrity management in the domain of security.
منابع مشابه
Backstepping Stabilization for a class of SISO Switched Nonlinear Systems with trigonal structure
In this paper, we discuss stabilization problem for a class of switched nonlinear systems whose subsystem with trigonal structure. A backstepping switching control design is given. Based on backsteppping approach, stabilizer and a switching law are designed for such systems. The stabilization of the resulting closed-loop systems is proved via common Lyapunov function method.
متن کاملAn Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks
In previous work, we have designed a tracking protocol, Stalk, for wireless sensor networks and proved it to be self-stabilizing at the pseudo-code (I/O automata) level. However, it is very challenging to achieve and verify self-stabilization of the same protocol at the implementation (TinyOS) level due to the size of the corresponding program at the implementation level. In this paper, we pres...
متن کاملSCide: Identification of Stabilization Centers in Proteins
SUMMARY SCide is a program to identify stabilization centers from known protein structures. These are residues involved in cooperative long-range contacts, which can be formed between various regions of a single polypeptide chain, or they can belong to different peptides or polypeptides in a complex. The server takes a PDB file as an input, and the result is presented in graphical or text forma...
متن کاملMao-Gilles Algorithm for Turbulence Stabilization
The Mao-Gilles stabilization algorithm was designed to compensate the non-rigid deformations due to atmospheric turbulence. Given a sequence of frames affected by atmospheric turbulence, the algorithm uses a variational model combining optical flow and regularization to characterize the static observed scene. The optimization problem is solved by Bregman Iteration and the operator splitting met...
متن کاملSimulation of nanoparticle transport in airways using Petrov-Galerkin finite element methods.
The transport and deposition properties of nanoparticles with a range of aerodynamic diameters ( 1 nm ≤ d ≤ 150 nm) were studied for the human airways. A finite element code was developed that solved both the Navier-Stokes and advection-diffusion equations monolithically. When modeling nanoparticle transport in the airways, the finite element method becomes unstable, and, in order resolve this ...
متن کامل